Libraries and older people